GeometricStep

GeometricStep[{hyp1,hyp2,…}] gives a symbolic representation of a step in the definition of a geometric scene, in which the hypotheses hypi are introduced. 

GeometricStep[hyps,label] labels the step with label when displaying an instance of the geometric scene.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.